par Devillers, Raymond ;Louchard, Guy
Editeur scientifique Morlet, E.
Référence (4-7 avril 1977: Liège), Proceedings of the International Computing Symposium, page (217--225)
Publication Publié, 1977
Publication dans des actes
Titre:
  • Using Auxiliary Variables in Parallel Programs Verification
Auteur:Devillers, Raymond; Louchard, Guy
Editeur scientifique:Morlet, E.
Informations sur la publication:(4-7 avril 1977: Liège), Proceedings of the International Computing Symposium, page (217--225)
Statut de publication:Publié, 1977
Sujet CREF:Informatique mathématique
Langue:Anglais